Changes in Trust after Driving Level 2 Automated Cars

A Philosophy for Developing Trust in Self‐ Driving Cars

For decades, our lives have depended on the safe operation of automated mechanisms around and inside us. The autonomy and complexity of these mechanisms is increasing dramatically. Autonomous systems such as self-driving cars rely heavily on inductive inference and complex software, both of which confound traditional software-safety techniques that are focused on amassing sufficient confirmator...

Self-Driving Cars

Where Is Computing Driving Cars?

Cars offer an excellent example of ubiquitous computing, and a technological revolution is currently underway that will eventually see in-vehicle computers empowered with increasingly complex sections of the driving task. In this article, we critically review the effect of ubiquitous computing in cars with reference to the psychology of the driver and present a survey of automotive researchers ...

Executive Summary Driving Safely in Smart Cars

We address the following question how do we know a proposed design for an Automated Vehicle Highway System AVHS is safe In particular can we prove that there can be no high relative velocity collision on the AVHS We show that if the controllers in the vehicles satisfy a set of constraints then the AVHS is safe The problem of checking whether the controllers satisfy the constraints is equivalent...

Driving Cars by Means of Genetic Algorithms

The techniques and the technologies supporting Automatic Vehicle Guidance are an important issue. Automobile manufacturers view automatic driving as a very interesting product with motivating key features which allow improvement of the safety of the car, reducing emission or fuel consumption or optimizing driver comfort during long journeys. Car racing is an active research field where new adva...